UPBOT: A Testbed for Cyber-Physical Systems
نویسندگان
چکیده
Developing software for cyber-physical systems presents a unique challenge. These systems are not simply software; they are composed of software running on a collection of machines that present a risk to human safety if anything goes wrong. Researchers want to create languages and tools that aid in the development of secure and fault-tolerant software, but they cannot simply “try out” their ideas on a fighter jet. This paper describes our modest UPBOT testbed. Pronounced yoō-pē-bät, it has three features that aptly comprise a cyber-physical system: networked control, enforceable physical properties, and off-the-shelf components. We offer that UPBOT can be used to effectively test security threats and defenses against cyber-physical systems; it presents multiple points of attack on a programmable, component-based system whose on-board intelligence may maintain safety-critical properties despite malicious attack. Given its low cost and low barrier to entry it may be especially useful to: i) undergraduates interested in learning about the domain; ii) researchers who lack access to oft-unavailable real systems but want to evaluate their solutions for cyber-physical systems.
منابع مشابه
Pharos: A Testbed for Mobile Cyber-Physical Systems TR-ARiSE-2011-001
As mobile cyber-physical systems (MCPS) begin to pervade our everyday environments, tools and techniques for robustly and reliably evaluating system solutions are an essential but as yet missing component for the development process. Our current methods and tools for validation and evaluation allow examination of components of the overall system in isolation; however our repertoire of tools lac...
متن کاملSimulating Drone-be-Gone: Agile Low-Cost Cyber-Physical UAV Testbed (Demonstration)
In this paper, we demonstrate Drone-Be-Gone (DbeG): a general-purpose, inexpensive, and agile UAV Cyber-Physical System (CPS) testbed. We implement on our testbed 2-D vision-based localization within 5 cm precision, controllability of multiple UAVs, a simulation environment of our testbed in 2-D (named TeSLA), and external processing units (EPU). The testbed has the ability to switch between ce...
متن کاملSecurity of Cyber-Physical Systems - From Theory to Testbeds and Validation
Traditional control environments connected to physical systems are being upgraded with novel information and communication technologies. The resulting systems need to be adequately protected. Experimental testbeds are crucial for the study and analysis of ongoing threats against those resulting cyber-physical systems. The research presented in this paper discusses some actions towards the devel...
متن کاملChapter 12 ANALYZING CYBER-PHYSICAL ATTACKS ON NETWORKED INDUSTRIAL CONTROL SYSTEMS
Considerable research has focused on securing SCADA systems and protocols, but an efficient approach for conducting experiments that measure the impact of attacks on the cyber and physical components of the critical infrastructure is not yet available. This paper attempts to address the issue by presenting an innovative experimental framework that incorporates cyber and physical systems. An emu...
متن کاملCyber-Physical System Security and Impact Analysis
Electric power grids have been identified as critical infrastructures. They are increasingly dependent on Information and Communication Technologies (ICTs) for the operation and control of physical facilities. It can be envisioned that on top of the power infrastructure reside ICT layers that are coupled with the electric grids. As the ICT connectivity increases, so does the potential for cyber...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010